Computer science - PDFSEARCH.IO - Document Search Engine

Computer science
Results: 55984

#	Item
71	Decidability Results for Multi-objective Stochastic Games Romain Brenguier and Vojtˇech Forejt Department of Computer Science, University of Oxford, UK Abstract. We study stochastic two-player turn-based games in which Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2016-07-05 18:17:09 Mathematical analysis Mathematical optimization Operations research Stochastic game Nash equilibrium Markov chain Determinacy Stochastic process Mathematics Analysis Multi-objective optimization
72	Which Configuration Option Should I Change? Sai Zhang Michael D. Ernst Department of Computer Science & Engineering Add to Reading List Source URL: zhang-sai.github.io Language: English - Date: 2015-05-05 00:58:34 Computing Software engineering Computer programming Debugging Cross-platform software Object-oriented programming languages Procedural programming languages Assertion Logic in computer science Configuration management PHP Program slicing
73	Understanding Text Pre-Processing for Latent Dirichlet Allocation Alexandra Schofield1 M˚ans Magnusson2 Laure Thompson1 David Mimno3 1 Department of Computer Science, Cornell University, Ithaca, NY {xanda, laurejt}@cs.c Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2017-07-19 14:45:03 Linguistics Computational linguistics Statistical natural language processing Natural language processing Corpus linguistics Applied linguistics Speech recognition Topic model Latent Dirichlet allocation N-gram Stemming Text corpus
74	Playing Stochastic Games Precisely Taolue Chen1 , Vojtˇech Forejt1 , Marta Kwiatkowska1 , Aistis Simaitis1 , Ashutosh Trivedi2 , and Michael Ummels3 1 Department of Computer Science, University of Oxford, Oxford, UK Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2012-07-04 05:45:30 Mathematics Measure theory Boolean algebra Experiment Sigma-algebra Determinacy Abstract algebra Stochastic game -automaton Lie algebras Lifting theory Littelmann path model
75	Verification of Fault-Tolerant Protocols with Sally Bruno Dutertre, Dejan Jovanovi´c, and Jorge A. Navas Computer Science Laboratory, SRI International Abstract. Sally is a model checker for infinite-state systems that Add to Reading List Source URL: jorgenavas.github.io Language: English - Date: 2018-10-25 12:43:22 Algorithm Mathematical logic Theoretical computer science IP Model checking Mathematics Machine learning
76	Trust Is in the Eye of the Beholder Dimitri do B. DeFigueiredo, Earl T. Barr and S. Felix Wu∗ Dept. of Computer Science – UC Davis Revision NovemberAbstract Add to Reading List Source URL: web.cs.ucdavis.edu Language: English - Date: 2009-07-10 13:52:18 Reputation management Interpersonal relationships Human behavior Accountability Emotions Social constructionism Trust Behavioural sciences Psychology Reputation Trust management Computational trust
77	Mixture Density Networks Christopher M. Bishop Neural Computing Research Group Dept. of Computer Science and Applied Mathematics Aston University Add to Reading List Source URL: publications.aston.ac.uk Language: English - Date: 2017-02-05 19:13:20 Mathematical analysis Probability and statistics Probability theory Machine learning Computational neuroscience Computational statistics Artificial neural networks Bayesian statistics Gaussian function Mixture model Mixture distribution Joint probability distribution
78	Pareto Curves for Probabilistic Model Checking Vojtˇech Forejt1 , Marta Kwiatkowska1 , and David Parker2 1 2 Department of Computer Science, University of Oxford, UK Add to Reading List Source URL: qav.comlab.ox.ac.uk Language: English - Date: 2012-06-29 07:04:13 Linear temporal logic Temporal logic Symbol FO Differential topology operator
79	Machine Learning for Programs Martin Vechev Pavol Bielik Department of Computer Science Add to Reading List Source URL: files.sri.inf.ethz.ch Language: English - Date: 2018-09-05 10:57:47 Computing Application software Computer science Machine learning Conditional random field Symposium on Principles of Programming Languages Programming Language Design and Implementation R Structured prediction
80	GloVe: Global Vectors for Word Representation Jeffrey Pennington, Richard Socher, Christopher D. Manning Computer Science Department, Stanford University, Stanford, CA 94305 , , mann Add to Reading List Source URL: nlp.stanford.edu Language: English - Date: 2018-04-09 22:53:03 Algebra Mathematics Computational linguistics Linear algebra Natural language processing Artificial neural networks Machine learning Word2vec Word embedding Latent semantic analysis Vector space model GloVe